<div class="title">Menu</div>
<ul>
<?php 
	 if (isset($_GET['id_salle'])) 
    {
    	$id_salle = $_GET['id_salle'];
    }
    else {$id_salle = '0';}
    echo 	'<li><a href="#">Actualiser</a></li>
    		<li><a href="gestion_salle.php">Salles</a></li>';
     if (isset($_GET['id_salle']) && $_GET['id_salle'] != '0')
     {
     	$id_salle = $_GET['id_salle'];
     	echo '<li><a href="gestion_machine.php?id_salle='.$id_salle.'">Machines</a></li>';
     }
    
    if (isset($_SESSION['admin'])) 
    {
    	if (isset($_GET['id_machine']) && $_GET['id_machine'] != '0')
    	{
    		
    		$id_machine = $_GET['id_machine'];
    		echo '	<li><a href="ajout.php?id_salle='.$id_salle.'&id_machine='.$id_machine.'">Ajouter</a></li>
    				<li><a href="modif.php?id_salle='.$id_salle.'&id_machine='.$id_machine.'">Modifier</a></li>
	    			<li><a href="supp.php?id_salle='.$id_salle.'&id_machine='.$id_machine.'">Supprimer</a></li>
    				
	    ';
    	}	
    	else{
    	
	    echo '
	    <li><a href="ajout.php?id_salle='.$id_salle.'">Ajouter</a></li>
	    <li><a href="modif.php?id_salle='.$id_salle.'">Modifier</a></li>
	    <li><a href="supp.php?id_salle='.$id_salle.'">Supprimer</a></li>
    ';
    	}
    } 
?>
    
</ul>